formal procedures